Scientific Report First name / Family name DALIA KRIKSCIUNIENE

Source URL: fellowship.ercim.eu

• Information
• Computing
• Data management
• Formal sciences
• Artificial intelligence
• Cognitive science
• Computer science education
• Informatics
• Analytics
• Big data
• Business intelligence

Jylab: A System for Portable Scientific Computing over Distributed Platforms Giorgos Kollias, Efstratios Gallopoulos Computer Engineering and Informatics Department University of PatrasPatras, Greece

Source URL: scgroup.hpclab.ceid.upatras.gr

Scientific Report First name / Family name

Source URL: fellowship.ercim.eu

• International Federation for Information Processing
• Lower Austria
• UNESCO
• Association for Computing Machinery
• Lecture Notes in Computer Science
• Academia
• Structure
• Education

Big Scientific Data Made Simple A Hands-on Tutorial in Data Generation, Processing, and Delivery for High Performance Computing and High Resolution Imaging Dates: JuneFrom 8:30am to 12noon Location: KAUST Library

Source URL: sci.utah.edu

A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• C++
• Procedural programming languages
• ALGOL 68
• Type system
• C++ classes
• Subtyping
• Const

Accelerators | Photon Science | Particle Physics Deutsches Elektronen-Synchrotron A Research Centre of the Helmholtz Association SCIENTIFIC COMPUTING •

Source URL: www.desy.de

Network Monitoring and  Visualiza4on at ESnet  Jon Dugan, Network Engineer ESnet Network Engineering Group Supporting Advanced Scientific Computing Research • Basic Energy Sciences • Biological

Source URL: www.es.net

Scientific Report First name / Family name Konstantinos Kotis

Source URL: fellowship.ercim.eu

• Computing
• Information science
• Knowledge engineering
• Knowledge representation
• Technology
• Semantic Web
• Ontology
• Internet of things
• Web of Things
• Semantic interoperability
• Gateway

A Functional Equivalence Verification Suite for High-Performance Scientific Computing Stephen F. Siegel, Timothy K. Zirkel, and Yi Wei ?

Source URL: vsl.cis.udel.edu

MASON Sean Luke Gabriel Catalin Balan Liviu Panait Claudio Cioffi-Revilla Sean Paus

Source URL: cs.gmu.edu

• Software
• Computing
• Multi-agent systems
• Artificial life
• Application software
• Simulation
• Computational science
• Scientific modelling
• MASON
• Agent-based model
• Swarm
• Visualization